2lp: Linear Programming and Logic Programming

نویسندگان

  • Kenneth McAloon
  • Carol Tretkoff
چکیده

The 2LP system is a step in the “Operatica Program,” a project whose grand design is to provide an elegant and powerful programming language environment for combining AI and OR methods for decision support software systems. The term “Operatica” was coined by J.L. Lassez to suggest an analogy with the Mathematica system which provides a programming environment for symbolic mathematical computation. In the dialogue between AI and OR, there are two basic themes: (1) declarative programming and the notion of logical consequence and, (2) procedural programming and the search algorithm in its many variations. Integrating AI and OR requires an environment that combines a modeling language with a logic based language. 2LP, which stands for “linear programming and logic programming,” has the simplex based search mechanism of linear programming and the backtracking mechanism of logic programming built in. 2LP is both an algebraic modeling language and a logical control language. By bringing these techniques together in a language which has standard C style syntax and treats the mathematical module in an object-oriented way, this technology provides very powerful and usable tools for decision support programming.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Constraint Programming Approach toPortfolio

The key idea in Modern Portfolio Theory, as introduced by Markowitz, is to minimize risk which is deened as mean-variance in returns. One method to solve the resulting quadratic programming problem is by converting it into a linear complementarity problem and then solving the latter using specialized algorithms. An analysis reveals that a linear complementarity problem can be understood as a di...

متن کامل

Nurse rostering using fuzzy logic: A case study

In this paper, we used the fuzzy set theory for modeling flexible constraints and uncertain data in nurse scheduling problems and proposed a fuzzy linear model for nurse rostering problems. The developed model can produce rosters that satisfy hospital objectives, ward requirements and staff preferences by satisfying their requests as much as possible. Fuzzy sets are used for modeling demands of...

متن کامل

Model Checking LTL Using Constraint Programming

The model-checking problem for 1-safe Petri nets and linear-time temporal logic (LTL) consists of deciding, given a 1-safe Petri net and a formula of LTL, whether the Petri net satisses the property encoded by the formula. This paper introduces a semidecision test for this problem. By a semidecision test we understand a procedure which may answer`yes', in which case the Petri net satisses the p...

متن کامل

BILEVEL LINEAR PROGRAMMING WITH FUZZY PARAMETERS

Bilevel linear programming  is a decision making problem with a two-level decentralized organization. The textquotedblleft leadertextquotedblright~ is in the upper level and the textquotedblleft followertextquotedblright, in the lower. Making a decision at one level affects that at the other one. In this paper, bilevel linear programming  with inexact parameters has been studied and a method is...

متن کامل

Use of a mixed integer programming model to achieve an optimum size of blast block in open-pit mining with regard to size of mineable block using fuzzy logic approach

In this paper, we present an integrated model to find the optimum size of blast block that uses (i) a multi-criteria decision-making method to specify the applicable size of the mineable block; (ii) a linear programming method for the selection of the blasted areas to be excavated and in deciding the quantity of ores and wastes to be mined from each one of the selected blocks. These two methods...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1993